(5.2.3.1) Flow of the KJ Method